Archives | linda1729's blog

linda1729

2026

02

03

等价性证明练习

等价性证明练习

结合顺序、条件和 while 例子，练习程序等价性的证明思路。

2026-02-03 Formal Semantics

形式语义等价性证明

02

小步语义格局变换练习

小步语义格局变换练习

通过格局变换题练熟小步语义，尤其是“每一步怎么写”。

2026-02-02 Formal Semantics

形式语义小步语义

01

大步语义推导树练习

大步语义推导树练习

用 Aexp、Bexp 和循环语句例子练习大步语义推导树的写法。

2026-02-01 Formal Semantics

形式语义大步语义

01

31

Rocq知识点

把 Rocq/Coq 常用命令、策略和易错点压成一份速查清单。

2026-01-31 Formal Semantics

形式语义 rocq/coq

30

Rcoq模拟题

两套 Rocq 模拟题，适合在做题中熟悉命令、策略和逻辑基础。

2026-01-30 Formal Semantics

形式语义 rocq/coq

29

Lambda 演算归约练习

Lambda 演算归约练习

用 8 道练习题集中训练 α/β 变换与变量捕获规避的手感。

2026-01-29 Formal Semantics

形式语义 lambda

28

优雅配置系列：Node.js、NVM 与 Hexo 博客搭建

优雅配置系列：Node.js、NVM 与 Hexo 博客搭建

一次讲清 NVM、Node、NPM 目录迁移和 Hexo 初始化的完整流程。

2026-01-28 Maker’s Notes

环境配置 Node.js Hexo

28

优雅配置系列：如何优雅地配置电脑

优雅配置系列：如何优雅地配置电脑

重新梳理电脑分盘、环境落盘和重装后的工具安置逻辑。

2026-01-28 Maker’s Notes

环境配置

28

优雅配置系列番外：JS、Node 与全栈

优雅配置系列番外：JS、Node 与全栈

把 JavaScript、Node.js 和前后端分工之间的关系讲得更明白。

2026-01-28 Maker’s Notes

Node.js JavaScript 全栈开发

28

ch9 lambda演算

ch9 lambda演算

从最基础的 λ 表达式出发，理解归约规则和计算直觉。

2026-01-28 Formal Semantics

形式语义 lambda

27

ch8 公理语义

ch8 公理语义

把霍尔逻辑规则和典型做题入口整理成一份可直接套用的笔记。

2026-01-27 Formal Semantics

形式语义公理语义

26

ch7 指称语义

ch7 指称语义

聚焦指称语义里最核心的定义、公式和考试高频考法。

2026-01-26 Formal Semantics

形式语义指称语义

            
1 / 9

评论